$M$.V($k$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Valtype(($M$.2).1;$k$)